codificacion deductiva con atlas ti